Abstract
В работе предлагается язык позитивной силлогистики, алфавит которого содержит все силлогистические константы. Сами эти константы понимаются как знаки отношений между двумя непустыми множествами (объемами двух общих терминов). Среди указанных отношений особое место занимают те, которым соответствует в точности одна из пяти диаграмм Эйлера--Жергонна: (1) равенство множеств, (2) строгое включение первого множества во второе, (3) строгое включение второго множества в первое, (4) перекрещивание множеств, (5) несовместимость множеств. Остальные отношения представляют из себя комбинации эйлеровских. Каждая константа $\textit{k}$ в предлагаемом силлогистическом языке кодируется последовательностью чисел от 1 до 5, указывающих на номера тех эйлеровских отношений, при которых простое высказывание форм $\textit{SkP}$ принимает значение <<истина>>. Например, отношение включения одного непустого множества в другое репрезентирует константа 12, а отношение совместимости двух непустых множеств – константа 1234.Задается точная теоретико-множественная семантика данного <<универсального>> языка, соответствующая интуитивному пониманию силлогистических констант. Вводятся понятия выразимости силлогистической константы в <<локальном>> языке, содержащем лишь некоторые из таких констант, и полноты множества исходных констант некоторого <<локального>> языка. Константа $k$ выразима в локальном силлогистическом языке с неким набором исходных силлогистических констант, если и только если в этом локальном языке найдется формула $A$, содержащая в точности два термина $S$ и $P$, такая что $A$ эквивалентна формуле $SkP$ в семантике универсального силлогистического языка. Множество силлогистических констант $\{k_1, k_2,..., k_m\}$ называется $\textit{полным}$, если и только если любая силлогистическая константа выразима в языке с исходными силлогистическими константами $k_1$, $k_2$,..., $k_m$. В качестве примера доказывается полнота множества исходных констант традиционной силлогистики ($\textit{a}$, $\textit{e}$, $\textit{i}$, $\textit{o}$) и множества исходных констант силлогистики Венна (знаков пяти эйлеровских отношений). В универсальном силлогистическом языке строится аксиоматическое исчисление, доказываются метатеоремы о его непротиворечивости и полноте.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.