Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

Логическая символика. Совр. формальная логика широко исполь­зует язык символов. С его помощью достигается: точная, однозначная трактовка предмета; возможность применения формального математи­ческого метода исследоваппя. Сим­волы, из к-рых по определенным пра­вилам строятся выражения (форму­лы) той или иной формально-логи­ческой системы, бывают трех основ­ных видов: 1) обозначающие эле­ментарные логические объекты — составляющие системы; 2) обозна­чающие логические связи или опе­рации; 3) вспомогательные симво­лы, напр. скобки, точки. В совр. ло­гике существует несколько приня­тых систем символического обозна­чения. В связи с этим для одних и тех же логических понятий име­ется несколько символов. Hnate приводятся значения основных из них:

1. А, В, С... X, Y, Z... (они же с индексами) — знаки переменных высказываний.

а, в, с... х, у, г... (они же с индек­сами) — знаки переменных предме­тов.

Р(.), R(.,.). S(.,.,.)(omi же с ин­дексами) — знаки переменных пре­дикатов.

2. — , -1, ~ — знаки  отрицания

(«не»)

\/ , • — знаки     дизъюнк-

ции («или»)

• , Д — знаки     конъюнк-

ции («и»)

;—i , —» — знаки     имплика-

ции («если...то»)

.~, = —      — знаки       эквива­лентности      или равнозначности («если  и только если...то»)

3, Е *— знаки     квантора

существования V, (   )        — знакп     квантора общности.