2. Твердження та їх види

Особливості структури тверджень. Деякі твердження можуть мати одну змінну (Іван біжить), а іноді в таких твердженнях ця змінна може бути порожньою (наприклад: Світає). Класичними є твердження, в яких є дві змінні, що зв’язані одним предикатом (наприклад: Іван кохає Марійку). Речення, в яких є кілька однорідних присудків (предикатів), для простоти логічного аналізу редакторові іноді доречно розкладати на кілька простих. Під час такого розкладання редактор повинен слідкувати, щоби в отриманих твердженнях значення кванторів було збережено в повному обсязі.

Приклад. Подамо зразки формалізованого запису тверджень, розпочавши із одномісних (знак “є” використовуватимемо як знак тотожності):

• Світає в ХРш Р(Х) (тут змінна X є порожньою, множиною, тобто X = {0});

• Дитина біжить шХР ■ Р(Х) (тут змінна X є непорожньою множиною, X = {“дитина”});

• Іван кохає Марійку ■ XPY■ P(X,YY;

• Уляна не бачить ні Федора, ні Дмитра, ні Петра я X\P(Y ,Y„Y₃) я Уляна не бачить Федора. Уляна не бачить Дмитра. Уляна не бачить Петра. ■ [л\Р{ Y,)] & [Х]Р(У₂)] & [Х|Я(У,)];

• Наталка вивчає юриспруденцію, читає книги й пише вірші в X(P_/Y_I, P₂Y₂, P₃Yjя Наталка вивчає юриспруденцію. Наталка читає книги. Наталка пише вірші, я (XP,Yj &

&(xp/₂)&(xp₃y₃).

Перед записами тверджень можна ставити квантори загальності (V), існування (3)), одиничності

(О) та невизначеності (U). Наприклад: Учні першого класу можуть читати лише деякі газети є V ХЗY(XPY).На письмі квантори загальності позначають словами всі, ні один, жоден, будь-який. Іноді ці квантори, враховуючи їх очевидність із контексту, опускають. Квантори існування позначають словами деякі, частина, існують такі... що.... Ці квантори, як правило, не пропускають. Квантор одиничності іноді позначають одниною, а частіше — власною назвою. Квантор невизначеності на письмі, як правило, не позначають ніяк (про невизначеність реципієнти найчастіше повинні здогадуватися самі).

Співвідношення тверджень і речень у повідомленнях. У повідомленнях твердження реалізують у формі речень. Проте не всі речення є твердженнями. Так, не належать до числа тверджень вигуки, спонукальні, окличні та питальні речення, а також речення, у яких дієслово стоїть у майбутньому часі.

Серед численних класифікацій тверджень для едитології важливими є класифікації за кількістю, стверджувальністю, істинністю, приналежністю автору, метою та специфікою інформації, поданої у твердженні.

Класифікація тверджень за кількістю та якістю. За кількістю твердження поділяють на визначені (загальні, часткові, одиничні) та невизначені. За якістю твердження поділяють на стверджувальні та заперечні. Об’єднана класифікація на основі цих двох ознак ділить твердження на загальностверджувальні (їх позначають латинською літерою А),частково стверджувальні (7), загальнозаперечні (Е)та частковозаперечні (О).

Класифікація тверджень за істинністю. Згідно з розділом 12.2.1 істинність тверджень (7) має такі значення:

—реальні (фактичні) твердження: у реальному світі для цих тверджень 7= 1 або 7=0, а в логічному аспекті 7=1 або 7=0;

• псевдореальні (фіктивні) твердження: у реальному світі для цих тверджень 7 перебуває в межах 0,0— 1,0, тобто вони можуть мати невизначене значення істинності, а в логічному аспекті 7=1 або 7 = 0;

• ірреальні твердження: у реальному світі для них 7= 0, а в логічному аспекті 7=1 або 7=0.

Множина всіх реальних тверджень повідомлення становить його фактичний матеріал.

Класифікація тверджень за приналежністю автору. За приналежністю авторові твердження поділяють на такі, що належать авторові цього повідомлення (авторські), й такі, що належать іншим авторам (цитати).

Класифікація тверджень за метою. За метою введення тверджень у повідомлення їх поділяють на інформаційні (такі, що повідомляють реципієнтам нову інформацію), аналітичні (такі, що автори аналізують, і на цій основі роблять певні, наприклад, наукові висновки) та ілюстраційні (такі, що допомагають авторові підтвердити власні твердження, пояснити їх на конкретному прикладі тощо)¹.

Класифікація тверджень за специфікою інформації. За цією ознакою твердження поділяють на вербальні, цифрові, ілюстраційні, табличні, формульні, аудіальні та візуальні.